| class CAST{T} |
|---|
| **** | Narrow down from $OB to type T. A useful substitute for the one line typecase statement.
___Usage: ____a:_$OB_:=_3; ____b:_INT_:=_CAST{INT}::from(a); _ |
| create: SAME |
|---|
| **** | Used to get the class name (won't work with void?) |
| from(o: $OB): T |
|---|
| **** | Cast from o:$OB "o" to be of type T. Raise the exception CAST_EXC if "o" is not of type T
_ Usage: ____a:_$OB_:=_3; ____b:_INT_:=_CAST{INT}::from(a); |